6.1 a + b = a + c → b = cを証明する - lean-lambdakansai

6.1 a + b = a + c → b = cを証明する